Bagaimana mukjizat itu dapat didefinisikan dan dibuktikan?